Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
mathematical logic — n. SYMBOLIC LOGIC * * * … Universalium
mathematical logic — n. SYMBOLIC LOGIC … English World dictionary
mathematical logic — noun A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power … Wiktionary
mathematical logic — /mæθəˌmætɪkəl ˈlɒdʒɪk/ (say mathuh.matikuhl lojik) noun a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules; symbolic logic …
mathematical logic — noun Date: 1853 symbolic logic … New Collegiate Dictionary
mathematical logic. — See symbolic logic. [1855 60] * * * … Universalium
mathematical logic — A term for modern formal logic, particularly those logical calculi powerful enough to express classical mathematics … Philosophy dictionary
mathematical logic — mathemat′ical log′ic n. pho symbolic logic • Etymology: 1855–60 … From formal English to slang
mathematical logic. — See symbolic logic. [1855 60] … Useful english dictionary